1. An infinitesimal approach to stochastic analysis /
پدیدآورنده: H. Jerome Keisler
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Brownian motion processes,Nonstandard mathematical analysis,Stochastic integral equations
رده :
QA274
.
27
.
A57
no
.
297
2. Continuous model theory
پدیدآورنده: / by Chen Chung Chang, H. Jerome Keisler
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع: Logic, symbolic and mathematical
رده :
QA9
.
C48
3. Elementary calculus
پدیدآورنده: H. Jerome Keisler
کتابخانه: کتابخانه مرکزی دانشگاه یاسوج (محمد بهمن بیگی) (کهگیلویه و بویراحمد)
موضوع: Calculus
رده :
515
,.
K28
,
Ed
.
2
4. Elementary calculus
پدیدآورنده: / H. Jerome Keisler
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Calculus
رده :
QA303
.
K44
1986
5. Elementary calculus : an infinitesimal approach
پدیدآورنده: Keisler, H. Jerome
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه حکیم سبزواری (خراسان رضوی)
موضوع: ، Calculus
رده :
QA
303
.
K44
1986
6. Elementary calculus:an infinitesimal approach
پدیدآورنده: KEISLER,H JEROME
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: CALCULUS
رده :
QA
303
.
K46
1986
7. Elementary calculus :an infinitesimal approach]CD[
پدیدآورنده : Keisler, H. Jerome., H. Jerome Keisler
موضوع : ، Calculus
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
8. Mathematical logic and computability
پدیدآورنده: Keisler, H. Jerome.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Mathematics ، Electronic data processing,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
K45
1996
9. Mathematical logic and computability
پدیدآورنده: Keisler, H. Jerome
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Logic, Symbolic and mathematical , Computable functions
رده :
QA
9
.
59
.
K44
1996
10. Mathematical logic and computability
پدیدآورنده: / H. Jerome Keisler
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع: Logic,symbolic and mathematical
رده :
511
.
3
K27m
11. Mathematical logic and computability
پدیدآورنده: Keisler, H. Jerome
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Electronic data processing,، Algebra
رده :
QA
9
.
K45
12. Mathematical logic & computability
پدیدآورنده: Keisler, H. Jerome
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع: ، Logic, symbolic & mathematical
رده :
QA
9
.
K4
M3
13. Model theory
پدیدآورنده: Keisler, H. Jerome
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Model theory
رده :
QA
9
.
7
.
K45
1990
14. Model theory for infinitary logic; logic with countable conjunctions and finite quantifiers
پدیدآورنده: Keisler, H. Jerome.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Infinitary languages,، Model theory
رده :
QA
9
.
K33
15. Model theory for infintary logic; logic with countalble conjunctions and finite quantifiers
پدیدآورنده: / H. Jerome Keisler
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Infinitary languages,Model theory
رده :
511
.
3
K27
16. Model theory for infinitary logic; logic with countable conjunctions and finite quantifiers
پدیدآورنده: Keisler, H. Jerome.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Infinitary languages,، Model theory
رده :
QA
9
.
K33
17. Model theory of stochastic processes /
پدیدآورنده: by Sergio Fajardo, H. Jerome Keisler
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Model theory,Stochastic processes
رده :
QA274
.
F37
2002
18. The Kleene Symposium : proceedings of the Symposium, held June 18-24, 1978 at Madison, Wisconsin, U.S.A
پدیدآورنده: edited by Jon Barwise, H. Jerome Keisler, Kenneth Kunen
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Recursion theory,Congresses ، Intuitionistic mathematics,، Kleene, Stephen Cole, 9091-4991
رده :
QA
9
.
6
.
K53
1978
